| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Learning Theory | Algorithmische Lerntheorie | Fach-/Modulprüfung | 6 | 488808 | ||
| Algorithmische Lerntheorie (Übung) | Übung | 496469 | Do 08:00-09:00 AH II (2350|111) (×1) Fr 10:00-11:00 AH II (2350|111) (×1) Fr 14:30-16:00 5052 (2356|052) (×1) Fr 14:30-16:00 5056 (2356|056) (×8) Fr 14:30-16:00 Seminarraum i7, Raum 4116 (2353|116) (×1) | |||
| Algorithmische Lerntheorie | Vorlesung | 496468 | Mo 12:30-14:00 AH III (2350|314.1) (×10) Di 08:30-10:00 AH III (2350|314.1) (×10) | |||
| Algorithmic Model Theory I | Algorithmische Modelltheorie | Fach-/Modulprüfung | 9 | 488928 | ||
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 488864 | ||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 488497 | ||
| Linear Optimization and Network Algorithms | Prüfung Lineare Optimierung und Netzwerkalgorithmen | Fach-/Modulprüfung | 9 | 490201 | ||
| Vorlesung Lineare Optimierung und Netzwerkalgorithmen | Vorlesung | 494105 | Di 14:30-16:00 IV (1010|141) (×15) Do 14:30-16:00 V (1010|213) (×15) | |||
| Übung Lineare Optimierung und Netzwerkalgorithmen | Übung | 494104 | Di 10:30-12:00 SFo 2 (1821|002) (×12) Di 16:30-18:00 SG 12 (1810|012) (×14) Do 10:00-11:00 B201 (3011|201) (×1) Do 10:00-13:00 Phil (1070|113) (×2) Fr 12:30-14:00 III (1010|107) (×15) | |||
| Logic and Games | Logik und Spiele | Fach-/Modulprüfung | 8 | 490773 | ||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 490772 | |||
| Mathematical Logic II | Mathematische Logik II | Fach-/Modulprüfung | 6 | 488924 | ||
| Mathematische Logik II | Übung | 494455 | Di 14:15-15:45 AH I (2350|028) (×11) Di 14:30-16:00 AH I (2350|028) (×1) Mi 08:30-12:00 AH II (2350|111) (×1) Do 10:30-12:30 AH II (2350|111) (×1) | |||
| Mathematische Logik II | Vorlesung | 494454 | Mo 10:30-12:00 IV (1010|141) (×12) Di 12:30-14:00 AH I (2350|028) (×13) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 491945 | ||
| Module Complexity Theory | Komplexitätstheorie | Fach-/Modulprüfung | 6 | 489177 | ||
| Übung zur Vorlesung Komplexitätstheorie | Übung | 496467 | Fr 12:30-14:00 AH I (2350|028) (×13) | |||
| Komplexitätstheorie | Vorlesung | 496466 | Do 12:30-14:00 AH VI (2356|051) (×15) Fr 12:30-14:00 AH I (2350|028) (×1) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 489132 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 485197 | Mo 08:30-10:00 AH III (2350|314.1) (×13) Di 10:30-11:15 AH VI (2356|051) (×12) Fr 08:30-10:00 AH II (2350|111) (×13) |